Search Results for 'dsl spec'

dsl spec published presentations and documents on DocSlides.

Deductive Techniques for synthesis

by karlyn-bohler

from. . Inductive Specifications. Dagstuhl. Sem...

Data Wrangling

by tatiana-dople

using . Programming by Examples. Invited Talk @ E...

Alex Polozov Sumit Gulwani

by alexa-scheidler

Programming by Examples. PLDI Tutorial. June 2016...